#!/bin/bash
DIR=$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")
erthost "$DIR/edb-enclave.signed" "$@"
